A hidden agenda
نویسندگان
چکیده
This paper unveils and motivates an ambitious programme of hidden algebraic research in software engineering, beginning with our general goals, continuing with an overview of results, and including some future plans. Selected literature on concurrency and the object paradigm is reviewed, and a new perspective on nondeter-minism is developed. The main contribution is powerful hidden coinduction techniques for proving behavioral correctness of concurrent systems; several mechanical proofs are given using OBJ3. We also show how modularization, bisimulation, transition systems, concurrency and combinations of the functional, constraint, logic and object paradigms t into hidden algebra.
منابع مشابه
ELT educational context, teacher intuition and learner hidden agenda (a study of conflicting maxims)
This study, first, attempted to explore the conflict or tension between EFL teacher intuition or concepts and the conception with a composite view assembled from learner's accounts of the distinctive features of Communicative Language Teaching (CLT), and second to investigate the latter's "hidden agenda" (Nunan, 1998) of what ELT should be. On the other hand, role of educational context as an i...
متن کاملStatistical User Simulation with a Hidden Agenda
Recent work in the area of probabilistic user simulation for training statistical dialogue managers has investigated a new agenda-based user model and presented preliminary experiments with a handcrafted model parameter set. Training the model on dialogue data is an important next step, but non-trivial since the user agenda states are not observable in data and the space of possible states and ...
متن کاملThe Representation of Iran in Englishcentral Educational Website: Unfolding the Hidden Curriculum
Despite their widespread popularity and rapid growth, the Internet-mediated English educational materials for learners of English as a foreign/second language (FL/SL) have rarely been analyzed in terms of their potential hidden curriculum. Accordingly, the present study aims to address this need through conducting a CDA investigation into some lessons which are randomly selected from an English...
متن کاملJapan's 2014 General Election: Political Bots, Right-Wing Internet Activism, and Prime Minister Shinzō Abe's Hidden Nationalist Agenda
In this article, we present results on the identification and behavioral analysis of social bots in a sample of 542,584 Tweets, collected before and after Japan's 2014 general election. Typical forms of bot activity include massive Retweeting and repeated posting of (nearly) the same message, sometimes used in combination. We focus on the second method and present (1) a case study on several pa...
متن کاملBehavioral equivalence of hidden k-logics: An abstract algebraic approach
This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by gen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 245 شماره
صفحات -
تاریخ انتشار 2000